val($e$) $\equiv$ val(${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$valtype(${\it e'}$) $\equiv$ valtype($e$) \& val($e$) = val(${\it e'}$)